Querying expressive DLs
نویسنده
چکیده
منابع مشابه
Epistemic Reasoning in OWL 2 DL
The standard semantics employed for description logics (DLs) adheres to the open world assumption (OWA). On one hand, such an assumption facilitates a modeler to formally represent problem domains with out explicitly expressing full information, which sometimes is even not possible. This is probably one of the main reasons of founding the Web Ontology Language (OWL) based on DLs. On the other h...
متن کاملRevisiting Semantics for Epistemic Extensions of Description Logics
Epistemic extensions of description logics (DLs) have been introduced several years ago in order to enhance expressivity and querying capabilities of these logics by knowledge base introspection. We argue that unintended effects occur when imposing the traditionally employed semantics on the very expressive DLs that underly the OWL 1 and OWL 2 standards. Consequently, we suggest a revised seman...
متن کاملData Complexity of Answering Unions of Conjunctive Queries in SHIQ
The novel context of accessing and querying large data repositories through ontologies that are formalized in terms of expressive DLs requires on the one hand to consider query answering as the primary inference technique, and on the other hand to optimize it with respect to the size of the data, which dominates the size of ontologies. While the complexity of DLs has been studied extensively, d...
متن کاملThe Limits of Querying Ontologies
We study query answering in Description Logics (DLs). In particular, we consider conjunctive queries, unions of conjunctive queries, and their extensions with safe negation or inequality, which correspond to well-known classes of relational algebra queries. We provide a set of decidability, undecidability and complexity results for answering queries of the above languages over various classes o...
متن کاملUsing f-SHIN to Represent Objects: An Aid to Visual Grasping
Description Logics (DLs) are nowadays used to face a variety of problems. When dealing with numerical data coming from the real world, however, the use of traditional logics results in a loss of useful information that can be otherwise exploited using more expressive logics. Fuzzy extensions of traditional DLs, being able to represent vague concepts, are well suited to reason on such objects. I...
متن کامل